M2m-Transformation mit der QVT Relations Language

QVT ist ein Sprachkonzept der Object Management Group zur Transformation von formalen Modellen. In diesem Beitrag werden ausgehend von einem einfachen Fachklassenmodell die zentralen Konzepte und Techniken der Transformationssprache Relations Language vorgestellt, so dass abschließend eine vollständige Transformation eines UML-Modells der PIM-Ebene in eins der PSMEbene vorgenommen werden kann. 1 Einordnung der QVT in die MDA Die Model Driven Architecture (MDA) der Object Management Group (OMG) beschreibt einen Ansatz der Anwendungsentwicklung auf der Grundlage von modellbasierten Techniken [MDA03]. Auf der einen Seite sind dies Sprachen und Verfahren zur Modellierung von Sachverhalten einer betrachteten Domäne, auf der anderen Seite handelt es sich um Konzepte zur Transformation der Modelle bis hin zur Erzeugung von Software-Bausteinen. Die Modellierung eines betrachteten Ausschnittes der realen Welt, der Domäne, erfolgt unter Verwendung von formalen, metamodellbasierten Modellierungssprachen, zum Beispiel der Business Process Modeling Notation (BPMN) oder der Unified Modeling Language (UML). Ein Anwendungsentwicklungsprozess im Allgemeinen wie auch Modellierung im Besonderen ist iterativ inkrementell, der Entwicklungsprozesses findet über mehrere Abstraktionsebenen statt, wobei die Modelle immer weiter formalisiert und konkretisiert werden bis hin zu einer maschineninterpretierbaren Form, zum Beispiel einem CodeArtefakt in einer beliebigen Programmiersprache. Rechnergestützte Transformation von Modellen aus einer Entwicklungsebene in eine andere – aus der rechnerunabhängigen Modellierungsebene (CIM) über die plattformunabhängige Modellierungsschicht (PIM) und die plattformspezifische Schicht (PSM) zum Implementierungsmodell (IM) – kann dabei von großemWert sein [PM06]. Der Vorschlag der OMG zur Transformation von Modellen ist die QVT, die Query View Transformation, eine Spezifikation von Sprachen, mit denen Modelle einer formalen Modellierungssprache in Modelle anderer formaler Modellierungssprachen überführt werden können [QVT08]. Mit Veröffentlichung der Version 1.0 im April 2008 ist die QVT ein von der OMG herausgegebener Standard. Die QVT bietet zwei Klassen von Sprachen zur Modelltransformation an, zum einen deskriptive Sprachen, von denen als